Gödel numbering for sequences